Under the Windows condition, we utilize VB6.0's visual interface, event drive elements, various control and data-base program to exploit the simulation software of the single chip microcomputer system. 它是以Windows为操作平台,利用VB6.0的可视化界面、事件驱动原理、各种控件及数据库编程知识,开发的仿真软件。
In this paper, we provide a sufficient and necessary condition of disturbance decoupling problem of discrete event dynamic system described by max algebra, we also find the maximal ( A, B)-invariant submodule in ker C. 本文对极大代数描写的离散事件动态系统(DEDS)给出了干扰解耦问题能解的充要条件,并找出了含于KerC的最大(A,B)不变子模。
The sufficient condition of nonblocking is that each event of the system can be observed by one supervisor. 利用这种方法设计的监控器非阻塞的充分条件是系统每个事件有一个监控器能观。